- рекурсивное множество
-
рекурсивное множество
—
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
- recursive set
Справочник технического переводчика. – Интент. 2009-2013.
РЕКУРСИВНОЕ ОТНОШЕНИЕ — такое отношение , где множество натуральных чисел, что функция f, определенная на условием является рекурсивной функцией. В частности, при любом пуниверсальное отношение и нуль отношение являются Р. о. Если Rи Sсуть n местные Р. о., то отношения… … Математическая энциклопедия
КРЕАТИВНОЕ МНОЖЕСТВО — творческое множество, рекурсивно перечислимое множество Анатуральных чисел, дополнение к рого Адо натурального ряда является продуктивным множеством;иными словами, множество Акреативно, если оно рекурсивно перечислимо и существует такая частично… … Математическая энциклопедия
теория — ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… … Энциклопедия эпистемологии и философии науки
РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… … Математическая энциклопедия
fork-бомба — Рекурсивное порождение процессов, ведущее к отказу в обслуживании или падению системы fork бомба вредоносная или ошибочно написанная программа, бесконечно создающая свои копии (системным вызовом fork()), которые обычно также начинают… … Википедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
ТЕОРИЯ В ЛОГИКЕ — ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… … Философская энциклопедия
НЕРАЗРЕШИМОСТИ СТЕПЕНЬ — класс эквивалентности , индуцированной отношением тьюринговой сводимости на подмножествах натурального ряда ( , если ). Иначе говоря, два множества принадлежат одной Н. с, если для каждого из них существует эффективная разрешающая процедура при… … Математическая энциклопедия
Вычислимое число — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия